Philosophy Dictionary of ArgumentsHome | |||
| |||
Type theory: Restriction of formal systems to a type of reference that prevents symbols of one level (of one type) from referring to symbols of the same level (of the same type). This is intended to avoid paradoxes arising from the self-referentiality of the symbols or expressions used. Original proposals for type theories come from B. Russell (B. Russell, Mathematical logic as based on the theory of types, in American Journal of Mathematics 30 (1908), pp. 222-262). See also Self-reference, Circularity, Paradoxes, Russell's paradox, Stages, Branched type theory. _____________Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments. | |||
Author | Concept | Summary/Quotes | Sources |
---|---|---|---|
Gregory Bateson on Type Theory - Dictionary of Arguments
I 364 Type theory/animal/communication/paradoxes/Bateson: in animal and mechanical communication, type theory (the distinction between sign levels) must be effective. >Animals, >Animal language, >Communication, >Levels/order, >Levels of description. I 365 When communicating and interpreting research results, it is easy to make no distinction between behavioral units (episodic occurrences) and behavioral categories (actions of a certain type). >Actions, >Type/Token. Once events are counted, it can happen that the categorizations are counted at the same time. A typical mistake is to speak of an increase in a category. Cf. >Categories/G. Ryle. The error is disguised if, for example, one speaks of a behavioral unit and then of a behavioral category under the same name. This is based on a mix-up of class and its elements. >Classes, >Element relation._____________Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution. Translations: Dictionary of Arguments The note [Concept/Author], [Author1]Vs[Author2] or [Author]Vs[term] resp. "problem:"/"solution:", "old:"/"new:" and "thesis:" is an addition from the Dictionary of Arguments. If a German edition is specified, the page numbers refer to this edition. |
Bt I G. Bateson Steps to an Ecology of Mind, Collected Essays in Anthropology, Psychiatry, Evolution, and Epistemology, San Francisco 1972 German Edition: Ökologie des Geistes. Anthropologische, psychologische, biologische und epistemologische Perspektiven Frankfurt 1985 |